scrollToMousePos(...args) {
const [xMouse, yMouse] = args.length ? args : global.get_pointer();
- if (xMouse != this.xMouse || yMouse != this.yMouse) {
- this.xMouse = xMouse;
- this.yMouse = yMouse;
-
- let sysMouseOverAny = false;
- this._zoomRegions.forEach(zoomRegion => {
- if (zoomRegion.scrollToMousePos())
- sysMouseOverAny = true;
- });
- if (sysMouseOverAny)
- this.hideSystemCursor();
- else
- this.showSystemCursor();
- }
+ if (xMouse === this.xMouse && yMouse === this.yMouse)
+ return;
+
+ this.xMouse = xMouse;
+ this.yMouse = yMouse;
+
+ let sysMouseOverAny = false;
+ this._zoomRegions.forEach(zoomRegion => {
+ if (zoomRegion.scrollToMousePos())
+ sysMouseOverAny = true;
+ });
+ if (sysMouseOverAny)
+ this.hideSystemCursor();
+ else
+ this.showSystemCursor();
}
/**